Header doc for arguments that must not be nil