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