{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//!"}]}
//! [Another approach after that][attempt 3] was much closer to correct, but had some soundness
//!
//! issues - it was failing to consider stores outside live ranges, and failed to uphold some of the