no volatile or asm; assert alignment