736     char *op;  in builtin()  local
755     op = outptr;  in builtin()
756     *op++ = '"';  in builtin()
762             op = outnum(op - 1, s->line);  in builtin()
769                 while ((*op++ = *src++) != 0)  in builtin()
771                         *op++ = '\\';  in builtin()
772                 op--;  in builtin()
777             strncpy(op, curtime + 4, 7);  in builtin()
778             strncpy(op + 7, curtime + 20, 4);  in builtin()
779             op += 11;  in builtin()
783             strncpy(op, curtime + 11, 8);  in builtin()
784             op += 8;  in builtin()
792         *op++ = '"';  in builtin()
794     tp->len = op - outptr;  in builtin()
795     outptr = op;  in builtin()