def encode_type(type, value)
        case type
        when AST::Typespecs::Int
          "stream.WriteInt(#{value})"
        when AST::Typespecs::UnsignedInt