example of an AOT bug