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