contract C {
    function f() public pure
    {
        // RLO PDF
        /*ok ‮‬*/

        // RLO RLO PDF PDF
        /*ok ‮‮‬‬*/

        // RLO RLO RLO PDF PDF PDF
        /*ok ‮‮‮‬‬‬*/
    }
}
// ----
