1 /* This C file is generated by NIT to compile module time. */
3 val_t
time___Object___get_time(val_t self
) {
4 struct trace_t trace
= {NULL
, LOCATE_time
, 18, LOCATE_time___Object___get_time
};
5 trace
.prev
= tracehead
; tracehead
= &trace
;
6 tracehead
= trace
.prev
;
7 return TAG_Int(kernel_Any_Any_get_time_0( self
));