0c1acd7a241d36cc1fadb4ad81f09de1bee198e3
1 #include "time._nitni.h"
3 /* out/indirect function for time::Object::get_time */
4 val_t
Object_get_time___out( val_t recv
)
10 return___nitni
= kernel_Any_Any_get_time_0( recv___nitni
);
11 return___nit
= TAG_Int(return___nitni
);