make EOI as record
tweak
tweak
remove all token_of_simple_pat
tweak
snapshot