added debug helpers for knc-i1x16.h