// bufnext.vdm if(buf_next==buf_num) { buf_switch(buf_free,event+nomsg) } else{ buf_switch(buf_next,event+nomsg) }