Some scripts for debugging