--- Entering scope
--- Leaving scope containing
Adding type T
Adding function x
--- Entering scope
--- Leaving scope containing
Adding function y
--- Entering scope
Adding object t
--- Entering scope
Adding object t_instance
--- Leaving scope containing
--- Leaving scope containing
Adding function *?
--- Entering scope
--- Entering scope
--- Leaving scope containing
Adding type T
Adding function ?=?
--- Entering scope
--- Leaving scope containing
--- Leaving scope containing
T
Adding function ?++
--- Entering scope
--- Leaving scope containing
Adding function ?=?
--- Entering scope
--- Leaving scope containing
Adding function ?=?
--- Entering scope
--- Entering scope
--- Leaving scope containing
Adding type DT
--- Leaving scope containing
DT
--- Entering scope
--- Leaving scope containing
Adding type U
Adding function x
--- Entering scope
Adding object u
--- Entering scope
Adding object u_instance
--- Leaving scope containing
--- Leaving scope containing
Adding function break_abstraction
--- Entering scope
Adding object u
--- Entering scope
--- Leaving scope containing
--- Leaving scope containing