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