#implementation-generation