The example in the readme doesn't deal with the common C case of mutable input parameters. Documenting how to handle this would obviously be useful.