（一）核材料，是指需要管制的核材料，包括铀—235及含铀—235的材料和制品，铀—233及含铀—233的材料和制品，钚—239及含钚—239的材料和制品，法律、行政法规规定的其他需要管制的核材料，不包括铀（钍）矿石及其初级制品。
this for you if you target C/LLVM/Cranelift/etc.
，推荐阅读whatsapp获取更多信息
Languages such as Python have type hints, and Ruby has sorbet. These are type checkers that live outside the language itself, or are at least optional. They're an addition one may use, but with them one can achieve similar protections as in strongly typed languages during development.
A team at MIT has designed flat tiles that can be pulled up into 3D structures