let
addr_format :
D
.format =
D
.e_app0
"addr_format"