let help = "Apply Hoare model for arguments passed by reference."