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