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