<?php
function mul(int $a, int $b) {
  $res = $a * $b;
  var_dump($res);
}
mul(0x5555555555, 0x5555555555);
?>