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