Builtin module "symbol"