Omega
Coq_omega
G_omega