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