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