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