var_record = [ id |-> var5 ]