@(ini_idx:Nat) @(ini_txt:String) @(text:String) (Parser Unit)