DuettoBackend: pointer function arguments optimized to be non-REGULAR if possible