import MA;

declare A:Matrix, x:Vector, a:Scalar {
    A * A * A * A * A * A * A * A * A * A;
}