/* Synonym */