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