please include function withMargin.

static int defaultMargin() {
  ret withMargin_defaultWidth;
}