int a = 12;                                                 // ok
