Edit File: seq_kernel.h