now assuming single module declarations