let
init_max_state_value = cp_init_max_state_value
#
get