The compiler didn't allow naming the argument `default`