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