modified example in natas20