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