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