Re: [sr-dev] erlang module pvs