seq
asserts and call fixes