UBXWL347MIR57IJVCXEAPCYXOTBWJNZCPQCMZJFR5HOXMF7JFU4AC
TTKE5N4MVYUZOQND6RRWIOAF2CBTDP7IV6KJ7VE23BIRXLJO7X7QC
VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC
5ZA3BRNYWKSGEBJ4JLA4UBC3LJPT5JBWYCU7PQYRSGX6MJMEWDIQC
LXTTOB33N2HCUZFIUDRQGGBVHK2HODRG4NBLH6RXRQZDCHF27BSAC
LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC
ZS5IYZH5EXXPSVIFWS7XW5POEVRRCK6XV6PB36D3EJXJRT22LKOQC
MD5NNUZF3DO5B5LOSKI2ARUYWEVHFREUFUBLV7ZTYE3B3TRLBGQQC
GNQC72UXBU6KYXW6MXLNRGTLXV2VPQXMVCLYMJT6POTFXSF5ASJAC
ZW3JGTEOOH5HBYULCENSV6373DRLOY7GKZF3VPYDIIW7543JCKFAC
NHNP76LGNIVNIDMSDILAKEVSWFQ4LKNCYXVQEGKKJ75TSRPEBVEQC
UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC
end
local screen_bottom1 = Text.screen_bottom1(State)
if Text.lt1(State.cursor1, State.screen_top1) or
(screen_bottom1.line and Text.lt1(screen_bottom1, State.cursor1)) then
State.screen_top1.line = State.cursor1.line
local pos = Text.pos_at_start_of_screen_line(State, State.cursor1)
State.screen_top1.pos = pos