Sync dex Lua syntax with upstream