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