see talk by Alexandru Militaru - 'D for a safer Linux Kernel' - at dconf 2019 Alexandru mentioned problems with using dpp to automatically translate headers this is a test that currently fails that should work in time