Keep track of some more instructions for getting suitable keys