raph-amiard/Z3 — comment on commit 4dde12473410df94b8dc4e377d7ebb067e0a1584
File:  line 0
By jean-dao:

Something is wrong with the header returned by Alloc_small in makeClosure, So the Closure_tag detection in shiftClosure doesn't work.