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