2: interface 3: subroutine TSDestroy(a,z) 4: import tTS 5: TS a 6: PetscErrorCode z 7: end subroutine 8: end interface