Mostly finished, need to modify validate_subops