functions with side effect

[Torsten Förtsch <tfoertsch123@xxxxxxxxx>]

Hi,

assuming 

SELECT nextval('s'), currval('s');

or

SELECT * FROM (VALUES (nextval('s'), currval('s'))) t;

is there any guarantee that the 2 output values are the same?

Thanks,

Torsten