A small toolset for KIF.