const _DERIVE_Command_FOR_TipHeightCmd: ();