Buffer.add_char str c