#!/usr/local/bin/tcc -run
#include <stdio.h>

int f(int x)
{
    return(x * 2);
}