fix jump-op stack effects
ensure file closes
avoid try/except since we don't implement it