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