const __wbg_get_board_width__const: ();