Added exec:ospid/1, modified return of exec:pid/1 as documented