st4
st4(buffer, 0);
st4(buffer + 4, 0x01000000);
st4(buffer + 8, align(end + 32));
st4(buffer + 12, s.st_size);
st4(buffer, align(end + 32 + 8191) - (start & ~0x3fffffUL) +
st4(buffer + 4, 0);
st4(buffer + 8, 0);