{$mode objfpc}

uses implinline2_ant;

begin
  writeln(times123(2));
end.