fun thunk_todo(thunk: SeparateRuntimeFunction)
	do
		# Concrete instance of `SeparateRuntimeFunction` are already
		# handled by the compiler. Avoid duplicate compilation.
		if thunk isa SeparateThunkFunction then
			thunks_to_compile.add(thunk)
		end
	end