overflow when `top_param == NUM_CALL_PARAMS`.