code style definition: added space after type cast