Loading annotation for elixir.bootlin.com