Naive implementation of #705 (without in parameter)