CS: space after `(`