RM: spec the interface for a host spec file with options