workspace in HoldM&C