prag($inline_2,1, index).
prag($inline_1,1, index).
prag($inline_0,1, index).
prag($inline1,2, index(2)).
