Analýza programu napsaného v jazyku C3.