I am totally fine with making them not having the default argument if they are not part of the public API of pyopencl. Otherwise, adding this parameter will break the previous API.