pub const is_val_statically_known: Symbol;