+/* This C file is generated by NIT to compile module time. */
#include "time._sep.h"
-val_t time___Object___get_time(val_t self) {
- struct trace_t trace = {NULL, "time::Object::get_time (bin/../lib/standard//time.nit:18,2--67)"};
- trace.prev = tracehead; tracehead = &trace;
- tracehead = trace.prev;
- return TAG_Int(kernel_Any_Any_get_time_0( self));
+val_t time___Object___get_time(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_time;
+ fra.me.line = 18;
+ fra.me.meth = LOCATE_time___Object___get_time;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* ./../lib/standard//time.nit:18 */
+ REGB0 = TAG_Int(kernel_Any_Any_get_time_0(fra.me.REG[0]));
+ stack_frame_head = fra.me.prev;
+ return REGB0;
}