workaround for %%debug: add a dummy parameter