Add integer overflow checker.
Format.
Implement ASLBuilder.