anchor.diff:  
   let encrypt_fun bca key iv data =
       match bca with
  -    | BCA_des -> des_encrypt_wiv_nopad key iv data
  +    | BCA_des     -> des_encrypt_wiv_nopad key iv data
       | BCA_aes_128 -> aes_encrypt_wiv_nopad key iv data
       | BCA_aes_256 -> aes_encrypt_wiv_nopad key iv data
  -    | _ -> Error (Encryption, Unsupported)
  +    | _           -> Error (Encryption, Unsupported)
   
   let encrypt_block conn_state data =
       match conn_state.cipher_state with
  
positive.code:         min_padlen + rand
      | _ -> unexpectedError "Protocol version should be known (or not SSL2) when computing padding"
  
  //Cedric: rename? why +1?  
  let prepare_enc conn_state data =
      let sp = conn_state.sparams in
      match sp.cipher_type with
  
negative.code: 
  let check_padding_cont (data:bytes)  =
     correct (data)
  //Cedric: ?
  
  let check_padding sp version (data:bytes) =
      let dlen = length data in
  