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