# Definition of routine to access customer details module determine-customer-details { uses customer-account-no returns customer-name, customer-account-balance find customer-name find customer-account-balance } endmodule