4 This file is part of the AVR-Crypto-Lib.
5 Copyright (C) 2006-2015 Daniel Otte (bg@nerilex.org)
7 This program is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>.
29 $conffile_check = Hash.new
30 $conffile_check.default = 0
32 ################################################################################
34 ################################################################################
36 def readconfigfile(fname, conf)
37 return conf if $conffile_check[fname]==1
38 $conffile_check[fname]=1
40 if ! File.exists?(fname)
43 file = File.open(fname, "r")
46 next if /[\s]*#/.match(line)
47 if m=/\[[\s]*([^\s]*)[\s]*\]/.match(line)
52 next if ! /=/.match(line)
53 m=/[\s]*([^\s]*)[\s]*=[\s]*([^\s]*)/.match(line)
55 Dir.glob(m[2]){ |fn| conf = readconfigfile(fn, conf) }
57 conf[section][m[1]] = m[2]
64 ################################################################################
66 ################################################################################
68 def expmod(base, power, mod)
71 result = (result * base) % mod if power & 1 == 1
72 base = (base * base) % mod
78 ################################################################################
80 ################################################################################
83 return [0, 0, 0] if(x == 0 || y == 0)
85 while(x&1==0 && y&1==0) do
90 u=x; v=y; a=1; b=0; c=0; d=1
115 ################################################################################
117 ################################################################################
126 ################################################################################
128 ################################################################################
130 def init_system(test_prog)
134 $sp.print("echo off \r")
135 print("DBG i: " + "echo off \r"+"\n") if $debug
137 $sp.print("#{test_prog}\r")
138 print("DBG i: " + "#{test_prog} \r"+"\n") if $debug
142 ################################################################################
144 ################################################################################
146 def wait_for_prompt(prompt)
147 prompt = /[\s]*#{prompt}[\s]*/ if(prompt.class == String)
148 start_time = Time.now.to_i
152 puts("DBG got (#{__LINE__}): "+line) if $debug && line
153 line = "" if line==nil
154 if /^(Error:|Crypto-VS).*/.match(line)
158 if (Time.now.to_i- start_time) > $max_timeout
162 end while ! m=prompt.match(acc)
166 ################################################################################
168 ################################################################################
169 def screen_progress(v)
171 printf("\n%5d [%04d]: ", $testno, $size)
173 putc((v)?('*'):('!'))
175 $linepos = ($linepos+1) % $linewidth
178 ################################################################################
180 ################################################################################
185 line = "" if line==nil
186 puts("DBG got: "+line) if $debug
187 if /^Error:.*/.match(line)
191 end while ! /[\s]*enter a:[\s]*/.match(line)
192 $sp.print(a.to_s(16)+" ")
195 line = "" if line==nil
196 puts("DBG got: "+line) if $debug
197 if /^Error:.*/.match(line)
201 end while ! /[\s]*enter b:[\s]*/.match(line)
202 $sp.print(b.to_s(16)+" ")
205 line = "" if line==nil
206 puts("DBG got: "+line) if $debug
207 if /^Error:.*/.match(line)
211 end while ! m=/[\s]*([-]?[0-9a-fA-F]*)[\s]+\+[\s]+([+-]?[0-9a-fA-F]*)[\s]*=[\s]*([+-]?[0-9a-fA-F]*)/.match(line)
216 if(a_== a && b_ == b && c_ == (a+b))
217 $logfile.printf("[pass]: %s\n", line)
220 $logfile.printf("[fail (%s%s%s)]: %s", (a==a_)?"":"a", (b==b_)?"":"b", (c_==a+b)?"":"c",line)
221 $logfile.printf(" ; should %s + %s = %s\n", a.to_s(16), b.to_s(16), (a+b).to_s(16))
227 ################################################################################
229 ################################################################################
234 line = "" if line==nil
235 puts("DBG got: "+line) if $debug
236 if /^Error:.*/.match(line)
240 end while ! /[\s]*enter a:[\s]*/.match(line)
241 $sp.print(a.to_s(16)+" ")
244 line = "" if line==nil
245 puts("DBG got: "+line) if $debug
246 if /^Error:.*/.match(line)
250 end while ! /[\s]*enter b:[\s]*/.match(line)
251 $sp.print(b.to_s(16)+" ")
254 line = "" if line==nil
255 puts("DBG got: "+line) if $debug
256 if /^Error:.*/.match(line)
260 end while ! m=/[\s]*([+-]?[0-9a-fA-F]*)[\s]+\*[\s]+([+-]?[0-9a-fA-F]*)[\s]*=[\s]*([+-]?[0-9a-fA-F]*)/.match(line)
265 if(a_== a && b_ == b && c_ == (a*b))
266 $logfile.printf("[pass]: %s\n", line)
269 $logfile.printf("[fail (%s%s%s)]: %s", (a==a_)?"":"a", (b==b_)?"":"b", (c_==a*b)?"":"c",line)
270 $logfile.printf(" ; should %s * %s = %s\n", a.to_s(16), b.to_s(16), (a*b).to_s(16))
276 ################################################################################
278 ################################################################################
279 def add_scale_test_dummy(a, b, scale)
280 should = a + (b<<(8*scale))
281 printf("[dummy] %s + %s <<8*%04x = %s\n",a.to_s(16), b.to_s(16), scale, should.to_s(16))
284 def add_scale_test(a, b, scale)
285 m = wait_for_prompt("enter a:")
287 puts("DBG put (#{__LINE__}): "+a.to_s(16)+" ") if $debug
288 $sp.print(a.to_s(16)+" ")
289 m = wait_for_prompt("enter b:")
291 puts("DBG put (#{__LINE__}): "+b.to_s(16)+" ") if $debug
292 $sp.print(b.to_s(16)+" ")
293 m = wait_for_prompt("enter scale:")
295 puts("DBG put (#{__LINE__}): "+scale.to_s(10)+" ") if $debug
296 $sp.print(scale.to_s(10)+"\r")
297 should = a + (b<<(8*scale))
298 m = wait_for_prompt(/[\s]*([-]?[0-9a-fA-F]+)[\s]+\+[\s]+([+-]?[0-9a-fA-F]+)[\s]*<<8\*[\s]*([+-]?[0-9a-fA-F]+)[\s]*=[\s]*([+-]?[0-9a-fA-F]+)/)
300 $logfile.printf("[fail (CRASH)]:")
301 $logfile.printf(" ; should %s + %s << 8*%s = %s\n", a.to_s(16), b.to_s(16), scale.to_s(16), should.to_s(16))
310 if(a_== a && b_ == b && s_ == scale && c_ == should )
311 $logfile.printf("[pass]: %s\n", line)
314 $logfile.printf("[fail (%s%s%s%s)]: %s", (a==a_)?"":"a", (b==b_)?"":"b", (scale==s_)?"":"s",(c_==should)?"":"c",line)
315 $logfile.printf(" ; should %s + %s << 8*%s = %s\n", a.to_s(16), b.to_s(16), scale.to_s(16), should.to_s(16))
321 ################################################################################
323 ################################################################################
328 line = "" if line==nil
329 puts("DBG got: "+line) if $debug
330 if /^Error:.*/.match(line)
334 end while ! /[\s]*enter a:[\s]*/.match(line)
335 $sp.print(a.to_s(16)+" ")
338 line = "" if line==nil
339 puts("DBG got: "+line) if $debug
340 if /^Error:.*/.match(line)
344 end while ! m=/[\s]*([+-]?[0-9a-fA-F]*)[\s]*\*\*2[\s]*=[\s]*([+-]?[0-9a-fA-F]*)/.match(line)
348 if(a_== a && c_ == (a**2))
349 $logfile.printf("[pass]: %s\n", line)
352 $logfile.printf("[fail (%s%s)]: %s", (a==a_)?"":"a", (c_==a**2)?"":"c",line)
353 $logfile.printf(" ; should %s **2 = %s\n", a.to_s(16), (a**2).to_s(16))
359 ################################################################################
361 ################################################################################
366 line = "" if line==nil
367 puts("DBG got: "+line) if $debug
368 if /^Error:.*/.match(line)
372 end while ! /[\s]*enter a:[\s]*/.match(line)
373 $sp.print(a.to_s(16)+" ")
376 line = "" if line==nil
377 puts("DBG got: "+line) if $debug
378 if /^Error:.*/.match(line)
382 end while ! /[\s]*enter b:[\s]*/.match(line)
383 $sp.print(b.to_s(16)+" ")
386 line_tmp = $sp.gets()
387 line_tmp = '' if line_tmp==nil
389 puts("DBG got: "+line) if $debug
390 if /^Error:.*/.match(line)
394 end while ! m=/[\s]*([+-]?[0-9a-fA-F]*)[\s]+%[\s]+([+-]?[0-9a-fA-F]*)[\s]*=[\s]*([+-]?[0-9a-fA-F]+)/.match(line)
399 if(a_== a && b_ == b && c_ == (a%b))
400 $logfile.printf("[pass]: %s\n", line)
403 $logfile.printf("[fail (%s%s%s)]: %s", (a==a_)?"":"a", (b==b_)?"":"b", (c_==a%b)?"":"c",line)
404 $logfile.printf(" ; should %s %% %s = %s\n", a.to_s(16), b.to_s(16), (a%b).to_s(16))
410 ################################################################################
412 ################################################################################
414 def mulmod_test(a,b,c)
416 printf("[testing] mulmod(%#x, %#x, %#x)\n",a,b,c) if $debug
418 line = "" if line==nil
419 puts("DBG got: "+line) if $debug
420 if /^Error:.*/.match(line)
424 end while ! /[\s]*enter a:[\s]*/.match(line)
425 $sp.print(a.to_s(16)+" ")
428 line = "" if line==nil
429 puts("DBG got: "+line) if $debug
430 if /^Error:.*/.match(line)
434 end while ! /[\s]*enter b:[\s]*/.match(line)
435 $sp.print(b.to_s(16)+" ")
438 line = "" if line==nil
439 puts("DBG got: "+line) if $debug
440 if /^Error:.*/.match(line)
444 end while ! /[\s]*enter c:[\s]*/.match(line)
445 $sp.print(c.to_s(16)+" ")
448 line_tmp = $sp.gets()
449 line_tmp = '' if line_tmp==nil
451 puts("DBG got: "+line) if $debug
452 if /^Error:.*/.match(line)
456 m = /[\s]*\([\s]*([+-]?[0-9a-fA-F]*)[\s]*\*[\s]*([+-]?[0-9a-fA-F]*)[\s]*\)[\s]+%[\s]+([+-]?[0-9a-fA-F]*)[\s]*=[\s]*([+-]?[0-9a-fA-F]+)/.match(line)
457 puts("DBG: line did not match pattern (" + line + ")") if !m && $debug
464 if(a_== a && b_ == b && c_ == c && d_ == (a * b % c) )
465 $logfile.printf("[pass]: %s\n", line)
468 $logfile.printf("[fail (%s%s%s%s)]: %s", (a == a_) ? '' : 'a', (b == b_) ? '' : 'b', (c_ == c) ? '' : 'c', (d_== (a * b % c)) ? '' : 'd',line)
469 $logfile.printf(" ; should (%s * %s) %% %s = %s\n", a.to_s(16), b.to_s(16), c.to_s(16), (a * b % c).to_s(16))
475 ################################################################################
477 ################################################################################
479 def expmod_test(a,b,c)
481 printf("[testing] expmod(%#x, %#x, %#x)\n",a,b,c) if $debug
483 line = "" if line==nil
484 puts("DBG got: "+line) if $debug
485 if /^Error:.*/.match(line)
489 end while ! /[\s]*enter a:[\s]*/.match(line)
490 $sp.print(a.to_s(16)+" ")
493 line = "" if line==nil
494 puts("DBG got: "+line) if $debug
495 if /^Error:.*/.match(line)
499 end while ! /[\s]*enter b:[\s]*/.match(line)
500 $sp.print(b.to_s(16)+" ")
503 line = "" if line==nil
504 puts("DBG got: "+line) if $debug
505 if /^Error:.*/.match(line)
509 end while ! /[\s]*enter c:[\s]*/.match(line)
510 $sp.print(c.to_s(16)+" ")
513 line_tmp = $sp.gets()
514 line_tmp = '' if line_tmp == nil
516 puts("DBG got: "+line) if $debug
517 if /^Error:/.match(line)
521 end while ! m=/[\s]*([+-]?[0-9a-fA-F]+)\*\*([+-]?[0-9a-fA-F]+)[\s]+%[\s]+([+-]?[0-9a-fA-F]+)[\s]*=[\s]*([+-]?[0-9a-fA-F]+)/.match(line)
527 if(a_== a && b_ == b && c_ == c && d_ ==expmod(a,b,c) )
528 $logfile.printf("[pass]: %s\n", line)
531 $logfile.printf("[fail (%s%s%s%s)]: %s", (a==a_)?'':'a', (b==b_)?'':'b', (c_==c)?'':'c', (d_==expmod(a,b,c))?'':'d',line)
532 $logfile.printf(" ; should %s**%s %% %s = %s\n", a.to_s(16), b.to_s(16), c.to_s(16), expmod(a,b,c).to_s(16))
538 ################################################################################
540 ################################################################################
543 $logfile.printf("[testing] gcdext(%s, %s)\n", a.to_s(16), b.to_s(16))
546 line = "" if line==nil
547 puts("DBG got: "+line) if $debug
548 if /^Error:.*/.match(line)
552 end while ! /[\s]*enter a:[\s]*/.match(line)
553 $sp.print(a.to_s(16)+" ")
556 line = "" if line==nil
557 puts("DBG got: "+line) if $debug
558 if /^Error:.*/.match(line)
562 end while ! /[\s]*enter b:[\s]*/.match(line)
563 $sp.print(b.to_s(16)+" ")
566 line_tmp = $sp.gets()
567 line_tmp = '' if line_tmp==nil
568 line = '' if line.end_with?('\n')
570 puts("DBG got: "+line) if $debug
571 if /^Error:.*/.match(line)
575 end while ! m=/gcdext\([\s]*([+-]?[0-9a-fA-F]*)[\s]*,[\s]*([+-]?[0-9a-fA-F]*)[\s]*\)[\s]*=> a = ([+-]?[0-9a-fA-F]+); b = ([+-]?[0-9a-fA-F]+); gcd = ([+-]?[0-9a-fA-F]+)/.match(line)
585 if(a_== a && b_ == b && c_ == ref[1] && d_ == ref[2] && e_== ref[0])
586 $logfile.printf("[pass]: %s\n", line)
589 $logfile.printf("[fail (%s%s%s%s%s)]: %s", (a==a_)?'':'a', (b==b_)?'':'b',
590 (c_==ref[1])?'':'c', (d_==ref[2])?'':'d', (e_==ref[0])?'':'e', line)
591 $logfile.printf(" ; should gcdext( %s, %s) => a = %s; b = %s; gcd = %s\n",
592 a.to_s(16), b.to_s(16), ref[1].to_s(16), ref[2].to_s(16), ref[0].to_s(16))
598 ################################################################################
600 ################################################################################
602 def run_test_add(skip=0)
610 a = rand(256**length_a_B) * s_a
611 b = rand(256**length_a_B) * s_b
620 b_size = rand(length_b_B+1)
621 a = rand(256**length_a_B) * s_a
622 b = rand(256**b_size) * s_b
631 end while length_a_B<4096/8
634 ################################################################################
635 # run_test_add_scale #
636 ################################################################################
638 def run_test_add_scale(skip=0)
645 16.times { scales << rand(301) }
647 scales.each do |scale|
648 a = rand(256**length_a_B)
649 b = rand(256**length_a_B)
650 v = add_scale_test(a, b, scale)
652 v = add_scale_test(b, a, scale)
658 16.times { scales << rand(301) }
660 scales.each do |scale|
661 b_size = rand(length_b_B+1)+1
662 a = rand(256**length_a_B)
663 b = rand(256**b_size)
664 v = add_scale_test(a, b, scale)
666 v = add_scale_test(b, a, scale)
672 end while length_a_B<4096/8
675 def run_test_add_scale_dummy(skip=0)
682 16.times { scales << rand(301) }
684 scales.each do |scale|
685 a = rand(256**length_a_B)
686 b = rand(256**length_a_B)
687 v = add_scale_test_dummy(a, b, scale)
688 v = add_scale_test_dummy(b, a, scale)
693 16.times { scales << rand(301) }
695 scales.each do |scale|
696 b_size = rand(length_b_B+1)
697 a = rand(256**length_a_B)
698 b = rand(256**b_size)
699 v = add_scale_test_dummy(a, b, scale)
700 v = add_scale_test_dummy(b, a, scale)
705 end while length_a_B<4096/8
708 ################################################################################
710 ################################################################################
712 def run_test_mul(skip=0)
720 a = rand(256**length_a_B) * s_a
721 b = rand(256**length_a_B) * s_b
730 b_size = rand(length_b_B+1)
731 a = rand(256**length_a_B) * s_a
732 b = rand(256**b_size) * s_b
740 end while length_a_B<4096/8
743 ################################################################################
744 # run_test_mul_word #
745 ################################################################################
747 def run_test_mul_word(skip=0)
753 a = rand(256 ** length_a_B)
758 end while length_a_B < 4096 / 8
761 ################################################################################
763 ################################################################################
765 def run_test_square(skip=0)
770 a = rand(256**length_a_B)
775 end while length_a_B<4096/8
778 ################################################################################
780 ################################################################################
782 def run_test_reduce(skip=0)
788 a = rand(256**length_a_B)
789 b = rand(256**length_a_B)+1
790 v = reduce_test(a, b)
794 b_size = rand(length_b_B+1)
795 a = rand(256**length_a_B)
796 b = rand(256**b_size)+1
797 v = reduce_test(a, b)
802 end while length_a_B<4096/8
805 ################################################################################
807 ################################################################################
809 def run_test_expmod(skip=0)
810 length_a_B = skip + 1
811 length_b_B = skip + 1
812 length_c_B = skip + 1
816 a = rand(256 ** length_a_B)
817 b = rand(256 ** length_b_B) + 1
818 c = rand(256 ** length_c_B) + 1
819 v = expmod_test(a, b, c)
823 b_size = rand(length_b_B+1)
824 a = rand(256 ** length_a_B)
825 b = rand(256 ** b_size) + 1
826 c = rand(256 ** b_size) + 1
827 v = expmod_test(a, b, c)
832 end while length_a_B<4096/8
835 ################################################################################
836 # run_test_expmodmont #
837 ################################################################################
839 def run_test_expmodmont(skip=0)
840 length_a_B = skip + 1
841 length_b_B = skip + 1
842 length_c_B = skip + 1
846 a = rand(256 ** length_a_B)
847 b = rand(256 ** length_b_B) + 1
848 c = rand(256 ** length_c_B) / 2 * 2 +1
849 v = expmod_test(a, b, c)
853 b_size = rand(length_b_B + 10)
854 a = rand(256 ** length_a_B)
855 b = rand(256 ** b_size) + 1
856 c = rand(256 ** b_size) / 2 * 2 +1
857 v = expmod_test(a, b, c)
862 end while length_a_B<4096/8
865 ################################################################################
867 ################################################################################
869 def run_test_mulmod(skip=0)
876 a = rand(256**length_a_B)
877 b = rand(256**length_b_B)
878 c = (rand(256**length_c_B) / 2 * 2) + 1
881 v = mulmod_test(a, b, c)
885 b_size = rand(length_b_B+1)
886 a = rand(256**length_a_B)
887 b = rand(256**b_size)
888 c = (rand(256**length_c_B) / 2 * 2) + 1
891 v = mulmod_test(a, b, c)
897 end while length_a_B<4096/8
900 ################################################################################
902 ################################################################################
904 def run_test_gcdext(skip=0)
910 a = rand(256**length_a_B)
911 b = rand(256**length_a_B)+1
912 v = gcdext_test(a, b)
917 b_size = rand(length_b_B+1)
918 a = rand(256**length_a_B)
919 b = rand(256**b_size)+1
920 v = gcdext_test(a, b)
926 end while length_a_B<4096/8
929 def init_serialport(conf)
930 puts("serial port interface version: " + SerialPort::VERSION);
934 params = { "baud" => conf["PORT"]["baud"].to_i,
935 "data_bits" => conf["PORT"]["databits"].to_i,
936 "stop_bits" => conf["PORT"]["stopbits"].to_i,
937 "parity" => SerialPort::NONE }
938 params["paraty"] = SerialPort::ODD if conf["PORT"]["paraty"].downcase == "odd"
939 params["paraty"] = SerialPort::EVEN if conf["PORT"]["paraty"].downcase == "even"
940 params["paraty"] = SerialPort::MARK if conf["PORT"]["paraty"].downcase == "mark"
941 params["paraty"] = SerialPort::SPACE if conf["PORT"]["paraty"].downcase == "space"
943 puts("\nPort: "+conf["PORT"]["port"]+"@" +
944 params["baud"].to_s +
946 params["data_bits"].to_s +
947 conf["PORT"]["paraty"][0,1].upcase +
948 params["stop_bits"].to_s +
951 $sp = SerialPort.new(conf["PORT"]["port"], params)
953 $sp.read_timeout=1000; # 5 minutes
954 $sp.flow_control = SerialPort::SOFT
959 ################################################################################
961 ################################################################################
963 opts = Getopt::Std.getopts("s:f:i:a:hd")
966 conf = readconfigfile("/etc/testport.conf", conf)
967 conf = readconfigfile("~/.testport.conf", conf)
968 conf = readconfigfile("testport.conf", conf)
969 conf = readconfigfile(opts["f"], conf) if opts["f"]
972 init_serialport(conf)
974 $max_timeout = 5 * 60
980 logfilename = conf['PORT']['testlogbase']+'bigint.txt'
981 if File.exists?(logfilename)
984 logfilename = sprintf('%s%04d%s', conf['PORT']['testlogbase']+'bigint_',i,'.txt')
986 end while(File.exists?(logfilename))
988 n1 = sprintf('%s%04d%s', conf['PORT']['testlogbase']+'bigint_',i-2,'.txt')
989 n2 = sprintf('%s%04d%s', conf['PORT']['testlogbase']+'bigint_',i-1,'.txt')
991 # printf("%s -> %s\n", n1, n2)
994 n1 = sprintf('%s%s', conf['PORT']['testlogbase'],'bigint.txt')
995 n2 = sprintf('%s%04d%s', conf['PORT']['testlogbase']+'bigint_',1,'.txt')
997 printf("%s -> %s\n", n1, n2)
998 logfilename = conf['PORT']['testlogbase']+'bigint.txt'
1000 $logfile = File.open(logfilename, 'w')
1001 printf("logfile: %s\n", logfilename)
1002 $logfile.sync = true
1003 $logfile.printf("bigint test from: %s\n", Time.now.to_s)
1004 $logfile.printf("skip = %s\n", opts['s']) if opts['s']
1005 $logfile.printf("seed = 0x%X\n", 0xdeadbeef)
1008 tests['a'] = proc {|x| run_test_add(x) }
1009 tests['m'] = proc {|x| run_test_mul(x) }
1010 tests['M'] = proc {|x| run_test_mulmod(x) }
1011 tests['n'] = proc {|x| run_test_mul_word(x) }
1012 tests['x'] = proc {|x| run_test_add_scale(x) }
1013 tests['s'] = proc {|x| run_test_square(x) }
1014 tests['r'] = proc {|x| run_test_reduce(x) }
1015 tests['e'] = proc {|x| run_test_expmod(x) }
1016 tests['E'] = proc {|x| run_test_expmodmont(x) }
1017 tests['g'] = proc {|x| run_test_gcdext(x) }
1019 init_str['a'] = 'add-test'
1020 init_str['x'] = 'add-scale-test'
1021 init_str['m'] = 'mul-test'
1022 init_str['M'] = 'mul-mont-test'
1023 init_str['n'] = 'mul-word-test'
1024 init_str['s'] = 'square-test'
1025 init_str['r'] = 'reduce-test'
1026 init_str['e'] = 'expmod-test'
1027 init_str['E'] = 'expmod-mont-test'
1028 init_str['g'] = 'gcdext-test'
1033 opts['a'].each_char do |x|
1036 init_system(init_str[x])
1037 tests[x].call(opts['s']?opts['s'].to_i():0)
1039 puts "no test defiened for '#{x}'"
1043 'amsrMeE'.each_char do |x|
1046 init_system(init_str[x])
1047 tests[x].call(opts['s']?opts['s'].to_i():0)
1049 puts "no test defiened for '#{x}'"