/* Empty type */