externs: whitespace