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