// kate: space-indent on; indent-width 4; remove-trailing-spaces all;
