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