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