Scenario-based questions modeled after the CompCert assessment format. Select an answer to see instant feedback.