proc main(): cint =
  cast[cdouble](20)