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