program  concatenation {
  // concatenation
  printf (" {4'b1001,4'b10x1}  = %b\n", {4'b1001,4'b10x1});
}