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