alignment in Synthesizable