test(x:int[]):int
{
    return x[15]
}
//@PRACOWNIA
//@stop_after typechecker