1 #include "time._nitni.h"
3 /* out/indirect function for time::Object::get_time */
4 val_t
Object_get_time___out( val_t recv
)
9 recv___nitni
= malloc( sizeof( struct s_Object
) );
10 recv___nitni
->ref
.val
= NIT_NULL
;
11 recv___nitni
->ref
.count
= 0;
12 nitni_local_ref_add( (struct nitni_ref
*)recv___nitni
);
13 recv___nitni
->ref
.val
= recv
;
14 return___nitni
= kernel_Any_Any_get_time_0( recv___nitni
);
15 return___nit
= TAG_Int(return___nitni
);
16 nitni_local_ref_clean( );