f():int
{
}
//@PRACOWNIA
//@should_not_typecheck