where is this coding style documented?