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