more modules and expressions