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