public static extended_pair MAKE_EXTENDED_PAIR( Object car, Object cdr, Object cer ) { return new extended_pair( car, cdr, cer ); }