checkpoint: placeholders for code areas