// SPDX-License-Identifier: Apache-2.0

#include "libc.h"

int main(void) {
    return 1;
}