let
out_trace = !out