Create fast mode (without contracts) + safe mode (with); convert lists to vectors