Как связана операция стирания типов с механизмами ядра системы?