put_code(Stream, Code) writes a non-negative integer Code in the output stream 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.