default value // to \\.