ref: 809f1f25ae02c6ddc29a1b4b930e5a670b45d365 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"