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