provider "aws" {
  profile    = "default"
  region     = "eu-west-1"
}

resource "aws_instance" "inst1" {
  # (resource arguments)
}