Write a procedure in x64 NASM that will print all registers inthe 64-bit model. RAX -> R15. Four columns, 1 and 3 for string labels and 2 and 4 forvalues. Example:     RAX   0000000000000000     R8   0000000000000000     RBX   0000000000000000     R9   0000000000000000 .. Write a main program that will load some values and print allthe registers and show that the values printed are correct. . . .