public static Object PUSH_TRACE( Object o, Object l ) { new stack_trace( o, l ); return unspecified._unspecified; }