You are right. I needed a very simple language, which has IO; this one is IMP+IO. I can probably use IMPPP.