fn __action53<'input>(
    source_id: usize,
    (_, __0, _): (u32, (u32, Ty, u32), u32)
) -> Option<(u32, Ty, u32)>