prog: sem