pub const size_of_val: Symbol;