pub fn verify_healthy<'a, 'b, 'c, 'info>(
    ctx: CpiContext<'a, 'b, 'c, 'info, VerifyHealthy<'info>>
) -> Result<()>