Some work on k8b4
Added print-impl.h