a2 and a1: bytecode identical
a3 and a1: bytecode identical
a4 and a1: bytecode identical
b2 and b1: bytecode identical
b3 and b1: bytecode identical
b4 and b1: bytecode identical
b5 and b1: bytecode identical