The procedure ec_max_of_list is not defined in the server.

Show another procedure: