`--atscript` option

Why not type asserts?