nonextensible

not defined yet