Remove debugging statements
scratch20: translate special symbol arguments properly