add castsequence doc