Write a procedure in x64 NASM that will print all registers in the 64-bit model. RAX -> R15.

Four columns, 1 and 3 for string labels and 2 and 4 for values.

Example:

RAX 0000000000000000 R8 0000000000000000

RBX 0000000000000000 R9 0000000000000000

..

Write a main program that will load some values and print all the registers and show that the values printed are correct.