Looks like that proposal is dropping support for K&R function declarations, is that right?