These thunks are frozen.  Do not hand-alter these thunks.
Recreate them in the thunk directory, using the thunk 
compiler.

