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