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