Translate "Unsafe C-style Programming in ATS"