Mark specman-basic-offset as safe for setting as a file local variable