CR-IC-7232 (formatting)