We might want to consider the more general problem of parsing zinc output and doing tricky stuff like parsing zinc output more granularly