(Just to be clear: I don't think the fix proposed by Justus initially is correct: it was essentially making applications with random addresses actually get to have their map done starting from address 0, but we really ought to rather fix their randomness directly)
Samuel
