progress towards compilation