names of low-level modules always explicit in define