do not test undefined behavior