symbolise Addr#prot