inline declarations
...