int3 foo()
{
    return 13;
}

float4 main(float f)
{
    return f;
}