scalariform formatting
checkpoint
updated stack changes