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