A mini language -- COOL