r7814: add implementation-dependent file, new impl-dependent commands