Here is an expression that would take a lot of memory to evaluate. The constraint stops the computation and returns the string.
In[1]:=
Out[1]=