TAL does use garbage collection; verifying that a GC behaves is another can of worms.