DATR Debug lib: for printf style debugging in DATR