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