{$mode objfpc}

uses implinline3_ant;

begin
  writeln(times123(2));
end.