Removed duplicate int_old