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