deterministic compilation