Comment by bitwize

But if they know assembly, they can look at actual compiler output and form the correct mental models...