Lua extensions: supports default argument values.