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