Checkpoint; handle 'int' and 'void' correctly