Outside, a boy was playing pangolin, making a cheerful sound.