method getInstr (i: int)            =   List.nth inl i