Add a new non-convenience version of push_codepoint.