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