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