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