besides main time, print in and out timestamp for the ports' underlying SimBricks interfaces
Attach a file by drag & drop or click to upload
