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