compiler translated (i.e. compile_top function)