luck will no longer considered mandatory parts of the spec in alphabetical order (please contact editors to suggest corrections): Krste Asanović, Shaked Flur, Stefan Freudenberger, Marc