[lib] adapt checker print function to Ben's change