No debugging instruments allowed!