This will finish with a bunch of allocated memory missing pointers to it. But that's not a problem, because OCaml's GC is capable of freeing this memory, as opposed to a C program, which would need a pointer to the memory to free() it.let test =let a = 1 inlet b = a + 5 inprintf "%d\n" b;;;test;;