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