pe_p_9 (PEP9)