Motion granted and appeal dismissed, with costs, together with $10 motion costs. [See post, p. 1221.]