A 64 bit assembly example for C calling conventions. Uses printf.