What is an example of a high-level programming language?