One thing though: Is it guaranteed the context pointer is always the last field? Is this defined in the spec anywhere?