Remix compilation funny

NEXT