SPARK Main

Simple overrideable provable main