source code of TIJ4-code