let debug1 fmt = Datascope.R.debug ~level:1 fmt