I'm more worried about dynamic unlinking (as done, IIRC, by ocsigen): suddenly your bytecode-pointers-disguised-as-integers become dangling.