export argument for all SC instructions to PML