This is Racc's default (not very obvious)