I understand it will be a modified Python with calls like os.abort() redirected to os.wait(), and Unions will not be allowed with the same types.

The important thing is that, after being tempted, he never gets to have a byte of the Apple.