button 1024 is actually unused. there can't be a button 70 because BUTTON() returns a bitset