pub unsafe extern "C" fn TABLE_is_filled_at_execution(
    this: *mut TABLE
) -> bool