function string input Deserializer deserializer; input Integer offset; output String res; output Integer newoffset; output Boolean success; end string;