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