#x:formal-data-type  #x:c:ptr #.name;