{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
//! without UB. These are: pointer dereferences, reference dereferences, and union field accesses.
//! These considerations only affects certain places, namely those that can contain non-valid data
//! We track in the algorithm whether a given place is known to contain valid data. This is done