efcre16 #6 (efcre16)