ref: 1d93a5628adc0f08463fe4272dc88fb0f61e631d dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"