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