448 /* time of last msgsend() */