PPE: do not use \'bool\' as a variable name