This works fine now, even if the processor is synchronous.