#include <stdint.h>
int main(int argc, char** argv) {
    register uint64_t __regCurrentEL;
    __asm volatile ("mrs %0, CurrentEL" : "=r" (__regCurrentEL));
    return __regCurrentEL >> 2;
}
