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