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