Fix example.

Forgot that in C++, main must return int.