let debug    = ref false