Typing system overhaul (struct u_foo -> u_foo)
Reformat argument lists (for compactness)