put_code(Code) writes a non-negative integer Code in the current output stream, being Code the number representation of a character (code). This predicate may raise an exception if the output stream's encoding has no character corresponding to said character code.