Tracked flips of:acl2