512 /* time of last msgrcv() */