prag($assertf_genstruc,9,index).
prag($assertf_genget,5,index).

.