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