SHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASHREPLACE_WITH_DASH_DASH
        function setDefaultProps(this)
            this.freq           = 1;
            this.done           = false;
            this.cutoff         = 0;
            this.verlet_dist    = inf;
            this.verlet_freq    = 100;
            this.auto_freq      = true;
            this.