#include "internal.h"

int getvalue() {
	return 10;
}