Treat output parameters more precisely.