// A flat-visible VALUE/FUNCTION named `Secret` (not a type). Secret :: () -> i32 { 0 }