work towards trivial AO to HS compiler