2 val_t
time___Object___get_time(val_t self
) {
3 struct trace_t trace
= {NULL
, "time::Object::get_time (bin/../lib/standard//time.nit:18,2--67)"};
4 trace
.prev
= tracehead
; tracehead
= &trace
;
5 tracehead
= trace
.prev
;
6 return TAG_Int(kernel_Any_Any_get_time_0( self
));