In ansi_c: