2 ms·The design of S3 was formally specified, but not the actual code.by hwayne 7y agoThe design of S3 was formally specified, but not the actual code.