module SdbS3Env