System.Resolver.GetStringLiteral(System.Int32)