_#x:formal-data-type