{Record print print_line}

Where

Let (print s)
    (Prim print s)

Let (print_line s)
    (Prim print_line s)