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