// for doc tests