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