#lang planet chongkai/sml

datatype t = f;
val rec f = fn x => x

val _ = print (f "OK\n")