--On Tuesday, February 16, 2010 12:02:57 AM +0000 Simon Wilkinson <sxw@inf.ed.ac.uk> wrote: > Any comments? Kill AFSTOKEN_EX_SETPAG; that behavior is both evil and problematic to implement; we already have situations where it doesn't work. I see no reason to propagate this wart into the new interface. Otherwise, this looks good.