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