ord-type {} = 0 ;