maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();
maxInsns += bsz + locals.getAssignmentCount();