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