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