void f(Object x)
    in
    {
        assert(x != null);
    }
    body
    {
        // do some magic
    }