Formal parameter conversion