use a fresh symbol that is not updated by other is_* calls