Got a simple example compiling, found a bug where Sats file prologues aren't automatically included.