using System;
using System.Runtime.InteropServices;

class PlatformInvokeTest
{
    [DllImport("msvcrt.dll")]  // E: only methods marked with `extern'
    public static puts(c : string) : int { };

    [DllImport("msvcrt.dll")]
    internal extern static _flushall() : int;
}