What is a "program text"?