extract __rvm_table, update #1673, update #1517