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