safety.md

ATS2 has many safety features, though they are not all obvious. Here we list a few examples

• Arithmetic overflow