New specification; hide internals from lua