Some Compilation Problems