#x:mangle-comment