金正男が総書記なっていればかなり違っていただろうな。