П Р О Ц Е Д У Р А  "psimlea"

    Машинная  процедура  psimlea служит для получения большего числа,
    удовлетворяющего неравенству: 2**w3 <= w1.

 Формат обращения:
                 <psimlea w1>
 Результат замены:
                 w3 ( 2**w3 <= w1 )