public static symbol string_to_symbol( String name ) { return symbol.make_symbol( getbytes( name ) ); }