foreach a in array{ 9, 12, 6 }
  print( a );
endforeach