[EGreg]

Here is the real problem: http://www.eros-os.org/papers/secnotsep.pdf