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