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