In Dok one should start from a high-level code, and then generate low level code for different run-times, pass after pass, using:
- hints and meta info annotations
- manual changes to code
- macro expander
If there are manual changes, the programmer must be advised if the source code was changed, because maybe the destination code must be patched again.