A restricted subset of JS that lacks control flow