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