They should be faked as C files...