Modified to make strict compilable