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