Red is not the right thing, I think. Should have independent traces based on do_void

Signed-off-by: Stefan Marr <git@stefan-marr.de>