semantic: Implement default arguments.