Module Jenga_lib.Cmd_diagnostics