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