ref: 0f94e460bf18ff925adf8d7c5ec36eff0bf06302 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"