Changed my mind re: maybe_promote return value.