%%% Looping nontermination

defn omega = \x. x x
defn Omega = omega omega

% provide a bound of 1 million on the number of permitted
% beta-reduction steps and negate the declaration
% to turn nontermination into success
fail norm 1000000 bottom = Omega