/* An empty placeholder.  */