void context behaviour for DPeek ()