Use an integer for the lifetime