def power(x: int, y: int) -> int:
    """Returns x to the power of non-negative integer y."""
    assert not y < 0, "Non-negative integer y only."
    if y == 0:
        return 1
    return x * power(x, y - 1)