sig
  val kf : Kernel_function.t
  val stack : Kernel_function.t list
  val end_state : Data_for_aorai.state
end