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