Pasted

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
 
#define PAGE_SIZE sizeof(uint64_t) * 8
#define PAGE_SIZE2 (sizeof(uint64_t) * 8)
 
int main(void) {
    uint16_t slot_id = 6005;
    uint16_t page = slot_id/PAGE_SIZE;
    uint16_t page2 = slot_id/PAGE_SIZE2;
 
    printf("PAGE_SIZE = %d\n", PAGE_SIZE);
    printf("slot_id = %d\n", slot_id);
    printf("page = %d\n", page);
    printf("page2 = %d\n", page2);
 
    printf("value = %d\n", 6005/8*8);
    printf("value2 = %d\n", 6005/(8*8));
 
    return 0;
}