Extra Stuff for Official HASL