87 #error "wtls_machine-decl.h: Macro MACHINE is missing."    89 #error "wtls_machine-decl.h: Macro ENUM is missing."    90 #elif !defined(ADDRTUPLE)     91 #error "wtls_machine-decl.h: Macro ADDRTUPLE is missing."    92 #elif !defined(INTEGER)     93 #error "wtls_machine-decl.h: Macro INTEGER is missing."    94 #elif !defined(OCTSTR)     95 #error "wtls_machine-decl.h: Macro OCTSTR is missing."    96 #elif !defined(PDULIST)     97 #error "wtls_machine-decl.h: Macro PDULIST is missing."   122         OCTSTR(compression_method)              
   125         OCTSTR(client_write_MAC_secret) 
   126         OCTSTR(client_write_enc_key)    
   128         OCTSTR(server_write_MAC_secret) 
   129         OCTSTR(server_write_enc_key)    
   134         OCTSTR(last_packet_checksum) 
 
OPEN NULL_STATE NULL_STATE OPENING OPEN NULL_STATE NULL_STATE OPEN wtls_machine last_refresh
 
alert u SEC_Terminate_Req addr_tuple