On 2013-01-31 18:08, Andrei Alexandrescu wrote: > We use JITting right now: > https://www.facebook.com/note.php?note_id=10150415177928920 Aha, I didn't know that. -- /Jacob Carlborg