(module Deprecated_fcommand)