Forgot to commit libruntime.c, added int vector printing function