GIF: Another look at Miller's catch