Add loc() location checkpoint, and a general check() checkpoint.