prog: semlimit