#include "getbits.h"
#include <stdio.h>

int main(void)
{
    printf("%d\n",getbits(15, 4, 3));
}