Support nested loops
Check program buffer under/overflow