frameworks-compile-slang