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