void main(){
	int a[] = { [3] 1, [10] 5 };
}