revision 64e6c29
makespec with file inclusion
makespec with file inclusion
revision f0110cb