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