typo
C++/PpC: arguments Prog def