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