int faa_system_value (void)
{
    return 1969;
}