pub fn assert_derivation(
    program_id: &Pubkey,
    account: &AccountInfo<'_>,
    path: &[&[u8]]
) -> Result<u8, ProgramError>