// This file tests the specification of a module initialization list

%module mymodule, module1, module2, module3, module4, module5

int foo();