pub fn program_verification_hints(
result: &ProgramResult,
trace: Option<&ProgramTrace>,
) -> Vec<ProgramVerificationHint>pub fn program_verification_hints(
result: &ProgramResult,
trace: Option<&ProgramTrace>,
) -> Vec<ProgramVerificationHint>