some easy problem from TCPL