Add the stdlib