Type designation in argument-list