Workaround overflow bug in poc5