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