sign_and_verify
return sign_and_verify(224 / 8) && sign_and_verify(256 / 8);
return sign_and_verify(16) && sign_and_verify(1);
return sign_and_verify(33) && sign_and_verify(64);