ANSI I/O module checks its arguments using AVER.