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