map_ra_retvalue(int ret_execra, const char * op) 
map_ra_retvalue(int ret_execra, const char * op_type) 
map_ra_retvalue(int ret_execra, const char * op){	/* Now there is no related specification for Heartbeat standard.	 * Temporarily deal as below.	 */	return ret_execra;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/eb2525f1534b9ae654184ffb3097876879480169/raexechb.c/clean/lib/plugins/lrm/raexechb.c