unused_args = false
allow_defined_top = true

read_globals = {
	"minetest", "dump",
	string = {fields = {"split"}},
	table = {fields = {"copy", "getn"}},
	"vector", "default",
}