correct encoding for test cases