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