#include <inttypes.h>

int64_t mkworld(int64_t x) {
    return x;
}