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