def int_w__Int(space, w_x):
    assert (space == 'space')
    assert isinstance(w_x, W_Int)
    return 1
def int_w__Int(space, w_x):
    assert (space == 'space')
    assert isinstance(w_x, W_Int)
    return 1