I've heard of some guy making a good Mario Maker port to SmileBASIC. I assume he/she doesn't share the key due to the server's copyright restrictions. Hope its eventually released. :(