varying time quanta for processes; other fixes