[ "\u0003-\u000b*r\u001cn", [] ]