import util to support logging in Checkable