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