/*
:name: ungetc_function
:description: $ungetc test
:should_fail: 0
:tags: 21.3
:type: simulation parsing
*/
module top();

int fd;

initial begin
	fd = $fopen("tmp.txt", "w");
	$ungetc(123, fd);
	$display(":assert: (%d == %d)", 123, $fgetc(fd));
end

final
	$fclose(fd);

endmodule