stdout=
********* "unsafe_calls_panic_discharge_all_tagged_less_fine" [Rlib] has reached 2 instances *********
"call" ("./tests/snippets/unsafe_calls_panic_discharge_all_tagged_less_fine.rs:8:1: 8:17")
 => "#[rapx::inner(property = Memo(Tag), kind = \"memo\")]\n"

"call" ("./tests/snippets/unsafe_calls_panic_discharge_all_tagged_less_fine.rs:8:1: 8:17")
 => "#[rapx::tag_unsafe_fn(property = Align(), kind = \"precond\")]\n"

"tag_unsafe_fn" ("./tests/snippets/unsafe_calls_panic_discharge_all_tagged_less_fine.rs:11:1: 11:30")
 => "#[rapx::tag_unsafe_fn(property = Memo(Tag), kind = \"memo\")]\n"


stderr=
