for example a safe language