Default arguments RFC