Could require take multiple arguments?

[Marc Balmer <marc@...>]

Wouldn't it be nice if require would take multiple package names and return multiple values? Instead of writing

local gui = require 'gui'
local rpr = require 'rpr'

one could write

local gui, rpr = require('gui', 'rpr')

- mb