.headers ON
.mode column
.echo ON

-- find the os class roster
select name from student, takes 
    where student.ssn = takes.ssn
    and cid="os";

