ctf_align_pos(pos, integer_declaration->p.alignment);
if (!ctf_pos_access_ok(pos, len * CHAR_BIT))
ctf_align_pos(pos, integer_declaration->p.alignment);
if (!ctf_pos_access_ok(pos, len * CHAR_BIT))
ctf_align_pos(pos, integer_declaration->p.alignment);
if (!ctf_pos_access_ok(pos, len * CHAR_BIT))
ctf_align_pos(pos, integer_declaration->p.alignment);
if (!ctf_pos_access_ok(pos, len * CHAR_BIT))