Formatted to comply with INSA-IF coding style