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