Add let-hotpatch final