<?php
$a = 10;
echo --$a; // outputs 9