generate record_spec/0