# no contents; allowed