Add test case for definite array alloc.