Translate "Unsafe C-style Programming in ATS" (cont.)