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