customize desugaring around foreign calls