Should we also use MODULE here?