The following lines should all be green.