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
, NULL
, 18, LOCATE_time___Object___get_time
};
5 val_t
*variable
= NULL
;
6 struct WBT_
**closurevariable
= NULL
;
7 trace
.prev
= tracehead
; tracehead
= &trace
;
8 trace
.file
= LOCATE_time
;
9 tracehead
= trace
.prev
;
10 return TAG_Int(kernel_Any_Any_get_time_0( self
));