This function returns 1 (True) if doc is a valid document identifier, otherwise it returns 0.

doc_valid(0) is always a valid document and is the same as doc_valid(current_doc()).