A complex synchronous program example