public char return_char_char( char p_1 ) { return p_1; } public double return_double_double( double p_1 )