ref: 20379f3ea88cbef9a9822ee4eac83a1c911a72bd dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"