Definition of variables in initialization modules