modified print in runtime.c