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