chinese new year at home for primitive recursive