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