/*--- this part has been added by hand for tracing purpose ---*/
#ifndef NBMAX_SAMPLE
#define NBMAX_SAMPLE (6000000/4)
#endif
typedef enum SAMPLE_RANK {
  SPL_T, SPL_VA,SPL_AZ,SPL_Q,SPL_VZ,SPL_H,
  SPL_DELTA_TH_C, SPL_DELTA_E_C,
  SPL_SIZE
} SampleRank_t;
extern double sample[SPL_SIZE][NBMAX_SAMPLE];
extern unsigned long sample_instant;

/* File generated by preludec 1.4 */
 void output_delta_x_c_1(double delta_x_c_1)
   {
   /* put your actuator code here */
     sample[SPL_DELTA_TH_C][sample_instant] = delta_x_c_1;
   }
 
 double input_y1_1Va_c()
   {
     double y1_1Va_c=0.0;
     /* put your sensor code here */
     return y1_1Va_c;
   }
 
 double input_y1_1h_c()
   {
     double y1_1h_c = 11000; /* hand edited for 11000 altitude */
     /* put your sensor code here */
     return y1_1h_c;
   }

 void output_delta_e_c_1(double delta_e_c_1)
   {
     /* put your actuator code here */
     sample[SPL_DELTA_E_C][sample_instant] = delta_e_c_1;
   }