ref: 876506083fe1bbfa983ec4e274b2c94de7783fd5 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"