simply specs for SmlFile