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