While the FIXME to derive whether an address begins initialized requires auditing all sites where the instruction is emitted to begin with, making this a predicate that depends only on the instruction can be done now.
const
classify_bridge_object