--colour
--format=specdoc
--backtrace