<div dir="ltr"><div class="gmail_extra">Very nice, so it seems that our measuring process_info(Pid,message_queue_len) is really expensive?</div></div>