limb_aX
typedef uint64_t limb_aX __attribute((__aligned__(1)));
typedef limb limb_aX __attribute((__aligned__(1)));