(^) removed debgs
(*) v0.8