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