update alignment and call assert