function mergeTwoInts($first, $second)
{
    return ($first << 16) | $second;
}

function splitToTwoInts(&$merged)
{
    $ret[0] = ($merged >> 16) & 0xFFFF;
    $ret[1] = $merged & 0xFFFF;
    return $ret;
}