ref: 076dcdc159f8d99890386d58774f82bf4baa84f9 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"