CEOI template: some more macros