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