push inline syntax update