(^) removed debugs
(*) v0.8