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