infrastructure for checking ko