__analysis_assume __bcount __bcount_opt __blocksOn __byte_readableTo __byte_writableTo __callback __checkReturn __control_entrypoint __data_entrypoint __deref __deref_bcount __deref_bcount_opt __deref_ecount __deref_ecount_opt __deref_inout __deref_inout_bcount __deref_inout_bcount_full __deref_inout_bcount_full_opt __deref_inout_bcount_nz __deref_inout_bcount_nz_opt __deref_inout_bcount_opt __deref_inout_bcount_part __deref_inout_bcount_part_opt __deref_inout_bcount_z __deref_inout_bcount_z_opt __deref_inout_ecount __deref_inout_ecount_full __deref_inout_ecount_full_opt __deref_inout_ecount_nz __deref_inout_ecount_nz_opt __deref_inout_ecount_opt __deref_inout_ecount_part __deref_inout_ecount_part_opt __deref_inout_ecount_z __deref_inout_ecount_z_opt __deref_inout_nz __deref_inout_nz_opt __deref_inout_opt __deref_inout_z __deref_inout_z_opt __deref_opt_bcount __deref_opt_bcount_opt __deref_opt_ecount __deref_opt_ecount_opt __deref_opt_inout __deref_opt_inout_bcount __deref_opt_inout_bcount_full __deref_opt_inout_bcount_full_opt __deref_opt_inout_bcount_nz __deref_opt_inout_bcount_nz_opt __deref_opt_inout_bcount_opt __deref_opt_inout_bcount_part __deref_opt_inout_bcount_part_opt __deref_opt_inout_bcount_z __deref_opt_inout_bcount_z_opt __deref_opt_inout_ecount __deref_opt_inout_ecount_full __deref_opt_inout_ecount_full_opt __deref_opt_inout_ecount_nz __deref_opt_inout_ecount_nz_opt __deref_opt_inout_ecount_opt __deref_opt_inout_ecount_part __deref_opt_inout_ecount_part_opt __deref_opt_inout_ecount_z __deref_opt_inout_ecount_z_opt __deref_opt_inout_nz __deref_opt_inout_nz_opt __deref_opt_inout_opt __deref_opt_inout_z __deref_opt_inout_z_opt __deref_opt_out __deref_opt_out_bcount __deref_opt_out_bcount_full __deref_opt_out_bcount_full_opt __deref_opt_out_bcount_nz_opt __deref_opt_out_bcount_opt __deref_opt_out_bcount_part __deref_opt_out_bcount_part_opt __deref_opt_out_bcount_z_opt __deref_opt_out_ecount __deref_opt_out_ecount_full __deref_opt_out_ecount_full_opt __deref_opt_out_ecount_nz_opt __deref_opt_out_ecount_opt __deref_opt_out_ecount_part __deref_opt_out_ecount_part_opt __deref_opt_out_ecount_z_opt __deref_opt_out_nz_opt __deref_opt_out_opt __deref_opt_out_z __deref_opt_out_z_opt __deref_out __deref_out_bcount __deref_out_bcount_full __deref_out_bcount_full_opt __deref_out_bcount_nz __deref_out_bcount_nz_opt __deref_out_bcount_opt __deref_out_bcount_part __deref_out_bcount_part_opt __deref_out_bcount_z __deref_out_bcount_z_opt __deref_out_ecount __deref_out_ecount_full __deref_out_ecount_full_opt __deref_out_ecount_nz __deref_out_ecount_nz_opt __deref_out_ecount_opt __deref_out_ecount_part __deref_out_ecount_part_opt __deref_out_ecount_z __deref_out_ecount_z_opt __deref_out_nz __deref_out_nz_opt __deref_out_opt __deref_out_z __deref_out_z_opt __ecount __ecount_opt __elem_readableTo __elem_writableTo __exceptthat __execeptthat __fallthrough __format_string __in __in_bcount __in_bcount_nz __in_bcount_nz_opt __in_bcount_opt __in_bcount_z __in_bcount_z_opt __in_ecount __in_ecount_nz __in_ecount_nz_opt __in_ecount_opt __in_ecount_z __in_ecount_z_opt __in_nz __in_nz_opt __in_opt __in_z __in_z_opt __inner_blocksOn __inner_callback __inner_checkReturn __inner_control_entrypoint __inner_data_entrypoint __inner_fallthrough __inner_fallthrough_dec __inner_override __inner_success __inner_typefix __inout __inout_bcount __inout_bcount_full __inout_bcount_full_opt __inout_bcount_nz __inout_bcount_nz_opt __inout_bcount_opt __inout_bcount_part __inout_bcount_part_opt __inout_bcount_z __inout_bcount_z_opt __inout_ecount __inout_ecount_full __inout_ecount_full_opt __inout_ecount_nz __inout_ecount_nz_opt __inout_ecount_opt __inout_ecount_part __inout_ecount_part_opt __inout_ecount_z __inout_ecount_z_opt __inout_nz __inout_nz_opt __inout_opt __inout_z __inout_z_opt __maybenull __maybereadonly __maybevalid __nothrow __notnull __notreadonly __notvalid __null __nullnullterminated __nullterminated __out __out_bcount __out_bcount_full __out_bcount_full_opt __out_bcount_full_z __out_bcount_full_z_opt __out_bcount_nz __out_bcount_nz_opt __out_bcount_opt __out_bcount_part __out_bcount_part_opt __out_bcount_part_z __out_bcount_part_z_opt __out_bcount_z __out_bcount_z_opt __out_ecount __out_ecount_full __out_ecount_full_opt __out_ecount_full_z __out_ecount_full_z_opt __out_ecount_nz __out_ecount_nz_opt __out_ecount_opt __out_ecount_part __out_ecount_part_opt __out_ecount_part_z __out_ecount_part_z_opt __out_ecount_z __out_ecount_z_opt __out_nz __out_nz_opt __out_opt __out_z __out_z_opt __override __post __postcond __pre __precond __readableTo __readonly __refparam __reserved __specstrings __success __typefix __valid __writableTo

#define __inout_z_opt   __inout_opt __pre __nullterminated __post __nullterminated Definition at line 278 of file sal_old.h.