prog: hg02_deadlock