Q' compiler