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