Constant_symbol loading ...