#+title: Outline

For the presentation at chalmers, I will in general want the following outline:

* Background

The background that I need to introduce is: What is HLS, and what is CompCert.

*