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