check-system can compile and modify Submit's object