Strict evalState and execState