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