public static LayoutManager to_layout(Term L)
{
LayoutManager M = null;
if (L instanceof Fun)
{
Fun F = (Fun) L;
int x = (int) ((Int) F.getArg(0)).getValue();
int y = (int) ((Int) F.getArg(1)).getValue();
M = new GridLayout(x, y, 5, 5);
}
else
{
String m = ((Const) L).getName();