CADD	$-33, X5				// ERROR "must be in range [-32, 31]"
	CADD	$32, X5					// ERROR "must be in range [-32, 31]"
	CADDI	$0, X5					// ERROR "immediate cannot be zero"
	CADDI	$31, X5, X6				// ERROR "rd must be the same as rs1"
	CADDI	$-33, X5				// ERROR "must be in range [-32, 31]"
	CADDI	$32, X5					// ERROR "must be in range [-32, 31]"
	CADDW	$-33, X5				// ERROR "must be in range [-32, 31]"
	CADDW	$32, X5					// ERROR "must be in range [-32, 31]"

        }
    }

    @Nested
    @DisplayName("Negotiation Constants")
    class NegotiationConstants {

        @Test
        @DisplayName("Signing enabled flag should be 0x0001")
        void testSigningEnabledFlag() {
            assertEquals(0x0001, Smb2Constants.SMB2_NEGOTIATE_SIGNING_ENABLED, "Signing enabled flag must be 0x0001");
        }

        @Test

    }

    /**
     * Appends the string representation of an {@link Element}.
     *
     * @param element
     *            The element. Must not be {@literal null}.
     * @param buf
     *            The string buffer. Must not be {@literal null}.
     */
    public static void appendElement(final Element element, final StringBuilder buf) {
        assertArgumentNotNull("element", element);

     *
     * @param props
     *            Property set. Must not be {@literal null}.
     * @param file
     *            File. Must not be {@literal null}.
     * @param encoding
     *            Encoding. Must not be {@literal null} or empty.
     */
    public static void load(final Properties props, final File file, final String encoding) {

    }

    /**
     * Returns a {@link ByteBuffer} that maps the file channel to memory.
     *
     * @param channel
     *            The file channel. Must not be {@literal null}.
     * @param mode
     *            The mode. Must not be {@literal null}.
     * @return A {@link ByteBuffer} that maps the file channel to memory.
     */
    public static ByteBuffer map(final FileChannel channel, final MapMode mode) {

     * </p>
     *
     * @param jarFile the Jar file (must not be {@literal null})
     * @param prefix the prefix that the resource name to traverse must contain (must not be {@literal null}).
     *               If not empty, must end with a slash ('/')
     * @param handler the handler to process classes (must not be {@literal null})
     */

     *
     * @param path
     *            The resource path. Must not be {@literal null} or empty string.
     * @param extension
     *            The resource extension.
     * @param loader
     *            The class loader to search for the resource. Must not be {@literal null}.
     * @return The resource {@link URL}
     * @see #getResourcePath(String, String)
     */

    Preconditions.checkNotNull(task, "task must not be null!");
    Preconditions.checkNotNull(result, "result must not be null!");
    return delegate.submit(task, result);
  }

  @Override
  public ListenableFuture<?> submit(Runnable task) {
    Preconditions.checkNotNull(task, "task must not be null!");
    return delegate.submit(task);
  }

  @Override

    Preconditions.checkNotNull(task, "task must not be null!");
    Preconditions.checkNotNull(result, "result must not be null!");
    return delegate.submit(task, result);
  }

  @Override
  public ListenableFuture<?> submit(Runnable task) {
    Preconditions.checkNotNull(task, "task must not be null!");
    return delegate.submit(task);
  }

  @Override

	ADDV16		$1, R4, R5	// ERROR "the constant must be a multiple of 65536."
	ADDV16		$65535, R4, R5	// ERROR "the constant must be a multiple of 65536."
	SC		R4, 1(R5)	// ERROR "offset must be a multiple of 4."
	SCV		R4, 1(R5)	// ERROR "offset must be a multiple of 4."
	LL		1(R5), R4	// ERROR "offset must be a multiple of 4."