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