Attached.For_testing
val location_in_mask : t -> Inputs.Location_binable.Table.key -> bool
val address_in_mask : t -> Addr.Table.key -> bool
val current_location : t -> Location.t option