let mem_builtin name = Hashtbl.mem table name