a version of 2048 in ECPk