Implemented some non-deterministic or impure builtins