(pr iseq 256 20 iseq 12 0 iseq 0 12 iseq 20 256)bye