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