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