and <code>A</code> through <code>F</code> represent values 10 through 15.
</p>

<p>
For readability, an underscore character <code>_</code> may appear after
a base prefix or between successive digits; such underscores do not change
the literal's value.
</p>
<pre class="ebnf">
int_lit        = decimal_lit | binary_lit | octal_lit | hex_lit .
decimal_lit    = "0" | ( "1" … "9" ) [ [ "_" ] decimal_digits ] .

// Code generated by avx512test. DO NOT EDIT.

#include "../../../../../../runtime/textflag.h"

TEXT asmtest_avx512f(SB), NOSPLIT, $0
	KANDNW K4, K4, K6                                  // c5dc42f4
	KANDNW K5, K4, K6                                  // c5dc42f5
	KANDNW K4, K6, K6                                  // c5cc42f4
	KANDNW K5, K6, K6                                  // c5cc42f5
	KANDNW K4, K4, K4                                  // c5dc42e4