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