BugFix: Obstack traversing did not check for pointer alignment ...