Make the following safe in lua: delete(nil); double delete(); delete() followed by GC