ref: 5b972a9aea9383fbb66142a6a9958e01f7028a89 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"