However, a "strict" mode is available which requires such annotations, and thus enforces fully sound code.
با این حال، یک حالت «سخت» در دسترس است که نیاز به چنین حاشیه‌نویسی دارد و بنابراین به‌طور کامل کد صدا را اجرا می‌کند.