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