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