annotate_check_args
if (annotate_check_args() < 0)
if (annotate_check_args() < 0) {
int annotate_check_args(void);