adding auxiliary typedef