#include "stdio.h"
main(){ printf("%d\n", 50**"2"); }

Compute (1000 * 1000).

Require Import String.
Open Scope string_scope.

Compute (if 0 then "then branch" else "else branch").

type empty = |
type t = C of (t -> empty)
let delta (C f) = f (C f)
delta (C delta)

let paire x = fun proj -> proj x x
let f0 x = paire (paire x)
let f1 x = f0 (f0 x)
let f2 x = f1 (f1 x)