public static int get_timestamp_channel(int board_id, int[] timestamp_channel) { if (System.Environment.Is64BitProcess) { return(BoardControllerLibrary64.get_timestamp_channel(board_id, timestamp_channel)); } else { return(BoardControllerLibrary32.get_timestamp_channel(board_id, timestamp_channel)); } }