or also as a package :- use_package(nativeprops).
Note the slightly different names of the library and the package.
X is pure, i.e., has no side-effects.
X has soft side-effects, i.e., those not affecting program execution (e.g., input/output).
X has hard side-effects, i.e., those that might affect program execution (e.g., assert/retract).