# Assuming STDOUT is still located at address 0x814ec28
tell( *135588904 );