draft finish: decl; assign; stmt; block/stmt