My perception following the discussion around typedef is that we should eliminate it. What we offer is "alias", which is a generalization of C's "typedef", and the change of name is justified by the fact that "alias" defines aliases for more entities than just types. Does all that sound good? Andrei