Fixtype of finalization commands.
This is a product type introduced by fty::defprod.
This is the one that may optionally occur at the very end of a function body, just before the finalizer.
