DF-5728 / run3-controls.serial.log
p (1+(2*3))
7
db> p ((((((((((((((((((((1))))))))))))))))))))
1
db> p ---------------------------------------------------------------------------------------------------------------------1
ffffffffffffffff
db> c
CPU4 restarting CPUs: 0x000000000000002f
restarted