<?php function session_content(App $a) { }