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