val x = 5.<ref>sure()
//jet/Library.jet:sure