const __wbg_get_board_height__const: ();