CAST_exp
CAST_exp(l, X, x, 0);
CAST_exp(l, X, x, 4);
CAST_exp(l, X, x, 8);
CAST_exp(l, X, x, 12);
CAST_exp(l, Z, z, 0);
CAST_exp(l, Z, z, 4);
CAST_exp(l, Z, z, 8);
CAST_exp(l, Z, z, 12);
CAST_exp(l, X, x, 0);
CAST_exp(l, X, x, 4);
CAST_exp(l, X, x, 8);
CAST_exp(l, X, x, 12);
CAST_exp(l, Z, z, 0);
CAST_exp(l, Z, z, 4);
CAST_exp(l, Z, z, 8);
CAST_exp(l, Z, z, 12);