ちなみに記事のアセンブリコードの10進数出力であるprint_intルーチンは値0を出力する実装にバグがある。
https://godbolt.org/z/Trh3fxv1E