Function assert_program 

pub fn assert_program(
    account: &AccountView,
    expected_program: &Address,
) -> ProgramResult

Verify an account’s address matches a known program id.

Combines address check + executable check. Use this when your instruction receives a program account for CPI and you need to confirm it’s the right one.

assert_program(token_program, &programs::TOKEN)?;