#   		 Crown Copyright (c) 1997
#
#   This TenDRA(r) Computer Program is subject to Copyright
#   owned by the United Kingdom Secretary of State for Defence
#   acting through the Defence Evaluation and Research Agency
#   (DERA).  It is made available to Recipients with a
#   royalty-free licence for its use, reproduction, transfer
#   to other parties and amendment for any purpose not excluding
#   product development provided that any such use et cetera
#   shall be deemed to be acceptance of the following conditions:-
#
#       (1) Its Recipients shall ensure that this Notice is
#       reproduced upon any copies or amended versions of it;
#
#       (2) Any amended version of it shall be clearly marked to
#       show both the nature of and the organisation responsible
#       for the relevant amendment or amendments;
#
#       (3) Its onward transfer from a recipient to another
#       party shall be deemed to be that party's acceptance of
#       these conditions;
#
#       (4) DERA gives no warranty or assurance as to its
#       quality or suitability for any purpose and DERA accepts
#       no liability whatsoever in relation to any use to which
#       it may be put.
#
# $TenDRA: tendra/src/lib/apis/ansi/stdarg.h,v 1.2 2005/10/31 08:41:37 stefanf Exp $
#
+IFNDEF __JUST_POSIX

+SUBSET "va_args" := {
    +SUBSET "va_list" := {
	# This is a hack to hide va_list
	+IFNDEF ~building_libs
	+TYPE ~va_list.1 | va_list.1;
	+ELSE
	+TYPE va_list.2 | va_list.2;
	+TYPEDEF va_list ~va_list.2;
	+ENDIF
    };

    %% #pragma TenDRA ident ... allow %%

    +IFNDEF ~building_libs
    +TYPEDEF ~va_list va_list;
    +ENDIF

    +TYPE __va_t | "~__va_t";
    +MACRO va_list __va_start(__va_t);

    +TOKEN va_arg # This is tricky
    %% PROC (EXP lvalue : va_list : e , TYPE t) EXP rvalue : t : %%;

    +MACRO void va_end(lvalue va_list);

%%%
#include <stdarg.h>
#ifndef __COMPLEX_VA_LIST
typedef va_list __va_t;
#define __va_start(X) ((va_list) (X))
#endif
%%%

};

+DEFINE va_start(l, i)  %% ((void) (l = __va_start (...))) %%;

+ENDIF


syntax highlighted by Code2HTML, v. 0.9.1