Symbol: BOARD_64BIT