编辑“︁Modula-3”︁（章节）

===不安全标记===
某些功能被认为是不安全的，编译器无法再保证结果是[[一致性]]的（例如，当与C编程语言交接时）。在<code>INTERFACE</code>或<code>MODULE</code>前面加上前缀关键字<code>UNSAFE</code>，可用于告诉编译器启用语言的某些不安全的低级功能。例如，在<code>UNSAFE</code>模块中，使用<code>LOOPHOLE()</code>将整数的诸位元复制成浮点<code>REAL</code>数，使用<code>DISPOSE()</code>释放无跟踪的内存。

一个接口是内在安全的，如果在安全模块中使用这个接口，无法产生不核查的运行时间错误。如果导出一个安全接口的所有的模块都是安全的，编译器保证这个接口的内在安全性。如果导出一个安全接口的任何模块是不安全的，就要编程者而非编译器，去做这种保证了。安全接口导入不安全接口，或安全模块导入或导出不安全接口，都是静态错误。导入不安全接口的编译单元本身必定也是不安全的。