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