Long ago this was called a jump table.