Implemented some non-deterministic and impure builtins