Symbol: sdump_usershell