// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠJVM _ TARGET : Ġ 1 . 8 Ċ // ĠSAM _ CONVERSION S : ĠIN DY Ċ // ĠWITH _ RUNTIME Ċ // ĠFULL _ JDK Ċ Ċ // Ġno Ġstream Ġapi Ġon ĠAndroid Ċ // ĠIG NORE _ BACKEND : ĠAND ROID Ċ Ċ // ĠCHECK _ BYTE CODE _ TEXT Ċ // ĠJVM _ IR _ TEMP LAT ES Ċ // Ġ 4 Ġjava / lang / invoke / Lambda Met af actory Ċ Ċ import Ġjava . util . stream .* Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġxs Ġ= ĠInt Stream . of ( 1 , Ġ 1 , Ġ 4 , Ġ 5 , Ġ 1 , Ġ 4 ) ĊĠĠĠĠĠĠĠ Ġ. map Ġ{ Ġa : ĠInt Ġ-> Ġa Ġ+ Ġ 1 Ġ} ĊĠĠĠĠĠĠĠ Ġ. map Ġ{ Ġa : ĠInt Ġ-> Ġa Ġ- Ġ 1 Ġ} ĊĠĠĠĠĠĠĠ Ġ. filter Ġ{ Ġa : ĠInt Ġ-> Ġa Ġ> Ġ 3 Ġ} ĊĠĠĠĠĠĠĠ Ġ. flatMap Ġ{ Ġa : ĠInt Ġ-> ĠInt Stream . of ( a , Ġa , Ġa ) Ġ} ĊĠĠĠĠĠĠĠ Ġ. boxed () ĊĠĠĠĠĠĠĠ Ġ. collect ( Collectors . toList ()) ĊĊĠĠĠ Ġif Ġ( xs Ġ!= ĠlistOf ( 4 , Ġ 4 , Ġ 4 , Ġ 5 , Ġ 5 , Ġ 5 , Ġ 4 , Ġ 4 , Ġ 4 )) ĊĠĠĠĠĠĠĠ Ġreturn Ġ" Failed : Ġxs =$ xs " ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }