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