ડિમન નામ માટે તમારે ડિમન નામ statd નો ઉપયોગ કરવો પડશે (ભલે બાઈનરીનું અલગ નામ હોય).