Linux write系统调用问题(对齐问题)

最近在学习Linux C 编程，碰到一个疑问
程序1： 

#include <unistd.h>
#include <stdlib.h>

int main() {
    if ((write(1, "Here is some data\n", 18)) != 18)
        write(2, "A error has occured on file descriptior 1\n", 42);
    exit(0);
}

编译后在终端中运行，运行结果是输出（即将内容写入到标准输出流中）了"Here is some data"。如果稍微改变一下write的实参值，将第一个write函数的第三个参数改为17，运行结果如下：
  Here is some data A error has occured on file descriptior 1
将18改为20，在终端中运行的结果为：
  Here is some data
  A error has occured on file descriptior 1

此程序没有疑问。

程序2：

#include <unistd.h>

#include <stdlib.h>
#include <stdio.h>

int main() {
    int nb;
    nb = (int)write(1, "Here is some\n", 18);
    if (nb != 18)
        write(2, "A error has occured on file descriptior 1\n", 42);
    printf("\nThe value returned by the function write is %d\n", nb);
    exit(0);
}

编译运行后的结果为：
Here is some
A
The value returned by function write is 18

程序2运行后，第二行为什么会输出一个A ？ 这个A明显是if语句块里的那个write函数的结果。如果nb的值确实是18，那么按理来说，if语句就不会执行，就不会有这个A；如果nb的值不是18，那么按理第二行应该输出：A error has occured on file descriptior 1\n。

原因分析如下：

常量字符串按顺序存储在常量区域的.
"Here is some\n"
"A error has occured on file descriptior 1\n"
这两个常量字符串的地址是紧挨着的, 当第一个字符串的访问越界后就访问到第二个字符串了.

考虑下对齐, 指针的地址通常需要是 32 位对齐, 也就是 4 的倍数. 所以前面的 14 个字符会被多填充两个 0 来对齐到 16 个字节. 在加上后面的 A 和一个空格, 刚好 18 个.