ref: 1656d16bea8cb893b47ac0fe29eabf3777d5a3e3 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"