init
init spec for List ADT