sockets-asn1.aadl 1 KB