أرسل هذا في رسالة قصيرة: Runtime checking for separation logic

  _____     ______  __    __   __   __  __    __  
 |__  //   /_   _// \ \\ / //  \ \\/ // \ \\ / // 
   / //     -| ||-   \ \/ //    \ ` //   \ \/ //  
  / //__    _| ||_    \  //      | ||     \  //   
 /_____||  /_____//    \//       |_||      \//    
 `-----`   `-----`      `        `-`'       `