Yes, we find it a bit confusing as well, the output from the above command is :
12 -rw-r----- 1 admin bin 12233 Jan 16 14:17 crypt.def
4 -rw-r----- 1 admin bin 821 Apr 16 2020 crypt_ssl.def
but we also found this:
Expert@SMS80.40:0]# find / -name crypt.def
find: /proc/36863/task/92966: No such file or directory
find: /proc/92970: No such file or directory
/opt/CPsuite-R80.40/fw1/lib/crypt.def
/opt/CPR7520CMP-R80.40/lib/crypt.def
/opt/CPR7540CMP-R80.40/lib/crypt.def
/opt/CPR76CMP-R80.40/lib/crypt.def
/opt/CPSFWR77CMP-R80.40/lib/crypt.def
/opt/CPSFWR80CMP-R80.40/lib/crypt.def
/opt/CPR77CMP-R80.40/lib/crypt.def
/opt/CPR75CMP-R80.40/lib/crypt.def
/opt/CPNGXCMP-R80.40/lib/crypt.def
/opt/CPSG80CMP-R80.40/lib/crypt.def
/opt/CPR71CMP-R80.40/lib/crypt.def
/opt/CPSG80R75CMP-R80.40/lib/crypt.def
This aligns with what the admin guide shows but does not include the file for an 80.20 gateway.