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