#!/usr/bin/lua
lines = {
 luaH_set = 10,
 luaH_get = 24,
 luaH_present = 46 }