A compiler can check: