doc/examples/output: Cast pointer to the right (const) type