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