#!/usr/local/bin/tcc -run
#include <stdio.h>
void main(){
  printf("%d\n", 42 & ((1 << 4) - 1));
}