* became \*