What would you prefer, "<return-value>"? Still two days left for discussions :)