ref: 96aa5ee4e0bdc1ef91cc84a6b07e4630ef693143 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"