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