ref: 787cb68076882143a4d4fdc0282fc96e96cd6011 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"