The procedure ec_state_widget is not defined in the server.

Show another procedure: