// "009.hac"
// copy-modified from "008.hac"
// shoud pass
// basic top-level instantiation loop, 3D array (triangular)

pint N = 3;

// using nested loop bounds
(;i:N:
(;j:i:
(;k:j:
bool x[i..i][j..j][k..k];
)
)
)

