ref: 693485e9c4eab63cf46f38783c2e5f8097ae2bc9 dir: /sys/src/9/bcm/softfpu.c/
#include "../teg2/softfpu.c"