spec5: Add id when printing