A compiler can check ;