void increase_speed( double *, int );
void compute_throttle( double *, int , int );