Update runtime.c