added a proper Stmt datatype