Extra debugging info and safetiness