(module Deprecated_service_command)