tree 614b2da18d9c41882f556266e921c50dcac35d75
parent deb807837c1ed327d6069fb6676e624784d01e22
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1525285079 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1525285079 -0300

minimizing the code ran by 'vmfetch' + no more 'vra'
(the code is simpler without 'vra' and conversion is a no-op)