I don't see anything questionable about this? It seems like the same case as `*31#` below