/* Returns: -a */