Symbol: ast_astdp_connector_state