(Also, it's not a "typedef" so much as an alias.)