bugfix
bugfix stdlib naming
fixing retrieve user function