vstd::prelude

Constant PROOF_FN

pub const PROOF_FN: u8 = 3; // 3u8