1sequence! { procedure, context,
2    // ACL Connection Established
3    Upper Tester -> IUT: SetConnectionEncryption {
4        connection_handle: context.peer_handle(),
5        encryption_enable: Enable::Enabled
6    }
7    IUT -> Upper Tester: SetConnectionEncryptionStatus {
8       num_hci_command_packets: 1,
9       status: ErrorCode::Success,
10    }
11    IUT -> Lower Tester: EncryptionModeReq {
12        transaction_id: 0,
13        encryption_mode: 0x01,
14    }
15    Lower Tester -> IUT: Accepted {
16        transaction_id: 0,
17        accepted_opcode: Opcode::EncryptionModeReq,
18    }
19    IUT -> Lower Tester: EncryptionKeySizeReq {
20        transaction_id: 0,
21        key_size: 0x10,
22    }
23    Lower Tester -> IUT: Accepted {
24        transaction_id: 0,
25        accepted_opcode: Opcode::EncryptionKeySizeReq,
26    }
27    IUT -> Lower Tester: StartEncryptionReq {
28        transaction_id: 0,
29        random_number: [0; 16],
30    }
31    Lower Tester -> IUT: Accepted {
32        transaction_id: 0,
33        accepted_opcode: Opcode::StartEncryptionReq,
34    }
35    IUT -> Upper Tester: EncryptionChange {
36        status: ErrorCode::Success,
37        connection_handle: context.peer_handle(),
38        encryption_enabled: EncryptionEnabled::On,
39    }
40}
41